public class STRING extends ANY
{
  private  java.lang.String m_object;
  public  STRING()
  {
   
  }
  
  public STRING(java.lang.String b)
  {
   m_object=b;
  }
  
  public java.lang.String get()
  {
   return m_object;
  }
  
  public STRING STRINGCLONE()
  {
   return new STRING(m_object);
  }
  
  public CHARACTER STRINGGET_CHAR(INTEGER a)
  {
    return new CHARACTER(m_object.charAt(a.get()));
  }
 
  public void STRINGPUT_CHAR(INTEGER x, CHARACTER a)
  {
    java.lang.StringBuilder b=new java.lang.StringBuilder(m_object);
    b.setCharAt(x.get(),a.get());
    m_object=b.toString();
  }
  
  public INTEGER STRINGLENGTH()
  {
    return new INTEGER(m_object.length());
  }
}